Merge pull request #995 from marek22k/master
authorJosef Schlehofer <[email protected]>
Fri, 21 Jul 2023 18:01:49 +0000 (20:01 +0200)
committerGitHub <[email protected]>
Fri, 21 Jul 2023 18:01:49 +0000 (20:01 +0200)
bird1: Remove, as EOL has been reached


Trivial merge